Automated Verification of Social Laws for Continuous Time Multi-Robot Systems

Social laws for multi-agent systems

Automated Continuous Testing of Multi-Agent Systems

Agent-based distributed systems are increasingly used in various application domains, where autonomy, proactivity and cooperation are required. Correspondingly, the demands on the quality of the delivered agents are growing. However, testing remains a challenging activity and systematic and automated approaches are still missing. We propose a novel framework for the continuous testing of multi-...

Coordinating multi-agent systems using social laws

Safety Verification of Real Time Systems Serving Periodic Devices

In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...

Automated Invariant Generation for the Verification of Real-Time Systems

We present an approach to automatically generating invariants for timed automata models. The CIPM algorithm that we propose first computes new invariants for timed automata control locations taking their originally defined invariants as well as the constrains on clock variables imposed by incoming state transitions into account. In doing so the CIPM algorithm also prunes idle transitions, which...